--- 'https://github.com/Frege/frege/issues/61 Issue#61'
{--
    Compiler does not recognize instance methods and members
    that have a @$@ sign in their name.
-}
module tests.comp.Issue61 where


data Native = pure native tests.comp.I61Java where
    pure native new :: Int -> Native
    pure native member ".mem$1" :: Native -> Int
    pure native method "$getMem1$" :: Native -> Int
    
main _ = do
    let nat = Native.new 42
    print "Member mem$1 is "
    println nat.member
    print "Method $getMem1$ returns "
    println nat.method  